discrete math proof examples